(g,a,e,z. a x(*;e;~) e)  g:Group{i}|g|(True)|g| 

latex

Up	groups 1
Definitions of Statement	Mon, Group{i}
Definitions	t  T, Mon, , x:A. B(x), T, Group{i}
Lemmas	grp wf, grp car wf, true wf, squash wf, int op wf